package archivemanagement;

import java.io.IOException;
import java.util.Collection;

import metagrammar.Operator;
import parsetree.OperatorSpec;
import util.SpecWithSameOperatorCollection;

public interface SpecArchive {
    
    public abstract boolean writeSpecs(SpecWithSameOperatorCollection... specs) throws IOException;
    
    public abstract Collection<OperatorSpec> loadSpecs(Operator id) throws IOException;
    
    public abstract boolean containsSpecs(Operator id) throws IOException;
    
    public abstract Collection<SpecWithSameOperatorCollection> loadAllSpecs() throws IOException;
    
}
